Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering1998년 10월 1일 · 약 1분이우진담당교수차성덕권용래Formal Methods Workshop '98, Daejon, Korea, 1998년 10월